proof e^lnx = x